| Wahlpflichtbereich Theoretische Informatik |
| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Formale Systeme, Automaten, Prozesse | Übung | 280977 | Mo 13:00-16:30 AH I (2350|028) (×1) Di 16:30-18:00 Otto Fuchs-Hörsaal (H03) (1385|003) (×1) Do 10:00-12:00 AH I (2350|028) (×1) Do 10:30-12:00 H01 (1385|101) (×12) Fr 16:15-18:30 Grüner Hörsaal AM (Gr) (1420|001) (×1) Fr 16:15-18:30 H01 (1385|101) (×1) Fr 16:15-18:30 H02 (1385|102) (×1) Fr 16:15-18:30 H05 (1385|105) (×1) Fr 16:15-18:30 Roter Hörsaal AM (Ro) (1420|002) (×1) Fr 16:30-18:30 Otto Fuchs-Hörsaal (H03) (1385|003) (×1) | ||
| Vorlesung | 280589 | Mo 18:30-20:00 H02 (1385|102) (×11) Mi 18:30-20:00 H01 (1385|101) (×10) | |||
| Fach-/Modulprüfung | 6 | 351539 | |||
| Tutorium | 277773 | Mo 10:30-12:00 5052 (2356|052) (×11) Mo 10:30-12:00 5055 (2356|055) (×11) Mo 10:30-12:00 S14 (1385|214) (×11) Mo 12:30-14:00 5056 (2356|056) (×11) Mo 12:30-14:00 S10 (1385|210) (×11) Mo 14:30-16:00 5054 (2356|054) (×11) Mo 14:30-16:00 5055 (2356|055) (×11) Mo 16:30-18:00 5052 (2356|052) (×11) Mo 16:30-18:00 5054 (2356|054) (×11) Di 12:30-14:00 S12 (1385|212) (×11) Do 08:30-10:00 5054 (2356|054) (×10) Do 08:30-10:00 5056 (2356|056) (×10) Do 12:30-14:00 5052 (2356|052) (×10) Do 12:30-14:00 S12 (1385|212) (×10) Do 14:30-16:00 S09 (1385|209) (×10) Do 14:30-16:00 S15 (1385|215) (×10) Do 16:00-18:00 5056 (2356|056) (×1) Fr 10:30-12:00 S02 (1385|202) (×10) Fr 10:30-12:00 S09 (1385|209) (×10) Fr 12:30-14:00 5052 (2356|052) (×10) Fr 12:30-14:00 5055 (2356|055) (×10) Fr 14:30-16:00 5054 (2356|054) (×11) Fr 16:30-18:00 S05 (1385|205) (×10) | |||
| Mathematische Logik I | Vorlesung | 281127 | Di 12:30-14:00 Roter Hörsaal AM (Ro) (1420|002) (×12) Fr 12:30-14:00 Roter Hörsaal AM (Ro) (1420|002) (×13) Fr 13:00-16:00 AH II (2350|111) (×1) | ||
| Fach-/Modulprüfung | 6 | 351533 | |||
| Tutorium | 281096 | Di 16:30-18:00 III (1010|107) (×11) Mi 14:30-16:00 HKW 2 (1132|303) (×5) Mi 14:30-16:00 HKW 5 (nur ePruefungen) (1132|603) (×3) Mi 14:30-16:00 III (1010|107) (×3) Mi 16:30-18:00 AH III (2350|314.1) (×11) Do 10:30-12:00 5055 (2356|055) (×10) Do 10:30-12:00 MetP11 (2181|102) (×4) Do 12:30-14:00 AH II (2350|111) (×10) Do 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×10) Fr 08:30-10:00 5055 (2356|055) (×10) Fr 08:30-10:00 AH I (2350|028) (×11) Fr 10:30-12:00 AH I (2350|028) (×11) Fr 10:30-12:00 AH III (2350|314.1) (×11) Fr 14:30-16:00 5052 (2356|052) (×10) |